Предназначено для студентов художественных вузов и факультетов, а также для учащихся профессиональных учебных заведений художественного профиля.

The process of transformation of the theoretical model of desire as a phenomenon of subjective socio-cultural reality and the essential expression of the whole human being is comprehended. The methodological basis of the article consists of general scientific and philosophical methods of cognition; the authors rely on the dialectical method in studying the phenomenon of desire as the unity of the material and symbolic worlds. The causes and consequences of changes that occur in modern consumer society from the standpoint of (...) “wishing human”, when the desire that actualizes the person of the subject is defined as a process carried out by man in everyday life. Socio-economic mechanisms are analysed, which, on the one hand, force a person to work constantly, and on the other hand – to rethink their needs and desires, transforming the latter, as a result of which it moves to the consumption of objects, many of which are incorporeal. The ontological aspect of the interpretation of desire as a way of social existence expands the knowledge of human nature and seeks to answer the question of why certain events occur in human existence and how they relate to human. It can be stated that the attempt to form a new hedonistic value system in the new generation was successful, and its key differences from the traditional hedonistic value system are immateriality, accessibility and a large number of adherents, which naturally follows from this accessibility. Multi-vector communication involves the possibility of varying the choice of freedom of the subject, which in actions and inferences is relative one, although there is a dependence on communication with sociality, a form of communication with which there is a desire. Subject and object are constituted by desire, which is the impetus for creation, change, movement, and acquisition. (shrink)

The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using tools from both areas. There are several interlaced problems that lie on the border of these two areas of set theory, but one that has been rather central for almost two decades is the conjecture known as the Mouse Set Conjecture. One particular motivation for resolving MSC is that (...) it provides grounds for solving the inner model problem which dates back to 1960s. There have been some new partial results on MSC and the methods used to prove the new instances suggest a general program for solving the full conjecture. It is then our goal to communicate the ideas of this program to the community at large. (shrink)

Building on the work of Schimmerling [Coherent sequences and threads, Adv. Math.216 89–117] and Steel [PFA implies AD L, J. Symbolic Logic70 1255–1296], we show that the failure of square principle at a singular strong limit cardinal implies that there is a nontame mouse. The proof presented is the first inductive step beyond L of the core model induction that is aimed at getting a model of ADℝ + "Θ is regular" from the failure of square at a singular strong (...) limit cardinal or PFA. (shrink)

Frege’s famous definition of number famously uses the concept of “extension”. Extensions, in the Fregean framework, are susceptible to bringing many difficulties, and, some say, even paradoxes. Therefore, neo-logicist programs want to avoid the problems and to replace the classical Fregean definition of number with Hume’s Principle. I argue that this move, even if it makes sense from a computational point of view, is at odds with Frege’s larger philosophical project. For Frege, I claim, extensions were an important part of (...) his philosophical program of logic-as-an-universal-language. This is why Frege places his project in line with Leibniz’ philosophical project of finding a lingua characterica universalis. (shrink)

Frege’s famous definition of number famously uses the concept of “extension”. Extensions, in the Fregean framework, are susceptible to bringing many difficulties, and, some say, even paradoxes. Therefore, neo-logicist programs want to avoid the problems and to replace the classical Fregean definition of number with Hume’s Principle. I argue that this move, even if it makes sense from a computational point of view, is at odds with Frege’s larger philosophical project. For Frege, I claim, extensions were an important part of (...) his philosophical program of logic-as-an-universal-language. This is why Frege places his project in line with Leibniz’ philosophical project of finding a lingua characterica universalis. (shrink)

Frege’s famous definition of number famously uses the concept of “extension”. Extensions, in the Fregean framework, are susceptible to bringing many difficulties, and, some say, even paradoxes. Therefore, neo-logicist programs want to avoid the problems and to replace the classical Fregean definition of number with Hume’s Principle. I argue that this move, even if it makes sense from a computational point of view, is at odds with Frege’s larger philosophical project. For Frege, I claim, extensions were an important part of (...) his philosophical program of logic-as-an-universal-language. This is why Frege places his project in line with Leibniz’ philosophical project of finding a lingua characterica universalis. (shrink)

I analyze in this article the different ways in which Descartes uses abstraction in the Regulæ, discussing his project of a mathematical physics, the role of the imagination, and the status of numbers. I also try to show that the doctrine of simple natures cannot be well accommodated with the theory of abstraction developed in Rule 14, having instead a greater affinity with Descartes’ later theory of abstraction and exclusion, in which imagination plays no role and everything happens at a (...) strictly intellectual level. This interpretation is supported by the recent discovery of the Cambridge manuscript, which almost certainly records an early stage of composition and in which the doctrine of simple natures is absent, thus being very probably a later development. (shrink)

We show that assuming the determinacy of all games on reals, every set of reals is \ universally baire.

We investigate the indestructibility properties of strongly compact cardinals in universes where strong compactness suffers from identity crisis. We construct an iterative poset that can be used to establish Kimchi–Magidor theorem from (in The independence between the concepts of compactness and supercompactness, circulated manuscript), i.e., that the first n strongly compact cardinals can be the first n measurable cardinals. As an application, we show that the first n strongly compact cardinals can be the first n measurable cardinals while the strong (...) compactness of each strongly compact cardinal is indestructible under Levy collapses (our theorem is actually more general, see Sect. 3). A further application is that the class of strong cardinals can be nonempty yet coincide with the class of strongly compact cardinals while strong compactness of any strongly compact cardinal κ is indestructible under κ-directed closed posets that force GCH at κ. (shrink)

During his Fall 2005 set theory seminar, Woodin asked whether V-supercompactness implies HOD-supercompactness. We show, as he predicted, that that the answer is no.

Assuming $V=L+AD$, using methods from inner model theory, we give a new proof of the strong partition property for ${\sim}{ \delta }^{2}_{1}$. The result was originally proved by Kechris et al.

We re-prove Becker’s theorem from Becker :229–234, 1981) by showing that \}\) implies that \\vDash ``\omega _2\) is -supercompact”. Our proof uses inner model theoretic tools instead of Baire category. We also show that \ is \-strongly compact.

A set of reals is universally Baire if all of its continuous preimages in topological spaces have the Baire property. ${\sf Sealing}$ is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that the theory of the universally Baire sets cannot be changed by set forcings. The ${\sf Largest\ Suslin\ Axiom}$ is a determinacy axiom isolated by Woodin. It asserts that the largest Suslin cardinal is inaccessible for ordinal definable surjections. Let ${\sf LSA}$ - ${\sf (...) over}$ - ${\sf uB}$ be the statement that in all generic extensions there is a model of $\sf {LSA}$ whose Suslin, co-Suslin sets are the universally Baire sets. We outline the proof that over some mild large cardinal theory, $\sf {Sealing}$ is equiconsistent with $\sf {LSA}$ - $\sf {over}$ - $\sf {uB}$. In fact, we isolate an exact theory that is equiconsistent with both. As a consequence, we obtain that $\sf {Sealing}$ is weaker than the theory “ $\sf {ZFC}$ + there is a Woodin cardinal which is a limit of Woodin cardinals.” This significantly improves upon the earlier consistency proof of $\sf {Sealing}$ by Woodin. A variation of $\sf {Sealing}$, called $\sf {Tower \ Sealing}$, is also shown to be equiconsistent with $\sf {Sealing}$ over the same large cardinal theory. We also outline the proof that if V has a proper class of Woodin cardinals, a strong cardinal, and a generically universally Baire iteration strategy, then $\sf {Sealing}$ holds after collapsing the successor of the least strong cardinal to be countable. This result is complementary to the aforementioned equiconsistency result, where it is shown that $\sf {Sealing}$ holds in a generic extension of a certain minimal universe. This theorem is more general in that no minimal assumption is needed. A corollary of this is that $\sf {LSA}$ - $\sf {over}$ - $\sf {uB}$ is not equivalent to $\sf {Sealing}$. (shrink)

In this paper, we show that the failure of the unique branch hypothesis for tame iteration trees implies that in some homogenous generic extension of [Formula: see text] there is a transitive model [Formula: see text] containing [Formula: see text] such that [Formula: see text] is regular. The results of this paper significantly extend earlier works from [Non-tame mice from tame failures of the unique branch bypothesis, Canadian J. Math. 66 903–923; Core models with more Woodin cardinals, J. Symbolic Logic (...) 67 1197–1226] for tame trees. (shrink)

The article is devoted to the philosophical views of Swami Vivekananda, reflected in his commentary on the Yoga Sutras of Patanjali. The text under study is one of the few Indian commentaries on the Yoga Sutras translated into Russian. The object of the study is a widespread translation of the commentary, made and published by Ya. K. Popov in 1906. The popularity of yoga as a health-improving practice increases interest in its spiritual component, therefore, the study of Vivekananda's commentary on (...) the Yoga Sutras seems to be an urgent task. The purpose of this article is to analyze Vivekananda's commentary for the authenticity of the transmission of the content of the ancient text and the reflection of the teachings of the Bengali thinker. Since Vivekananda's commentary on the Yoga Sutras has not been studied by domestic orientalists, and has not received comprehensive coverage in foreign studies, the results of his analysis contain scientific novelty. Using the hermeneutical method, it is revealed that the philosopher forms a commentary on the ancient text mainly to demonstrate the basics of his teaching. Vivekananda's work expresses his Orient-centric position, as well as the author's beliefs in accordance with the provisions of yoga to his contemporary science. Since the philosopher's views are in line with Advaita Vedanta, the ontological foundations of yoga are interpreted by him according to this philosophical school. The commentary of the late XIX century anticipates modern ideas of the healing potential of yoga and the superiority of experienced knowledge of the Divine, and also demonstrates the predictive talent of the Bengali thinker. (shrink)

Working in the theory “ZF + There is a nontrivial elementary embedding j: V → V ”, we show that a final segment of cardinals satisfies certain square bracket finite and infinite exponent partition relations. As a corollary to this, we show that this final segment is composed of Jonsson cardinals. We then show how to force and bring this situation down to small alephs. A prototypical result is the construction of a model for ZF in which every cardinal μ (...) ≥ ℵ2 satisfies the square bracket infinite exponent partition relation μ → [μ]ωℵ2. We conclude with a discussion of some consistency questions concerning different versions of the axiom asserting the existence of a nontrivial elementary embedding j : V → V. By virtue of Kunen's celebrated inconsistency result, we use only a restricted amount of the Axiom of Choice. (shrink)

kn. 1. Predystorii͡a, zasedanii͡a -- kn. 2. Khronika, portrety.

This article reveals the philosophical value of the Confucian treatise "Kong-zi jia yu," it examines issues of the theoretical importance for the history of world sinology. In the historicо-philosophical tradition, this text has long been attributed to the Confucian scientist Van Su, however, not so long ago the situation changed significantly. In the modern scientific community, disputes around the authorship and time of writing this treatise continue. The content of "Kong-zi jia yu" is composed of stories from the life of (...) Confucius, his conversations with his closest students, as well as prominent political figures of that time. These conversations are philosophical dialogues, they concern the most important ontological, ethical, aesthetic and epistemological issues, such as: harmonization of the Tianxia on the basis of virtuous management, the philosophical need for ritual practice, cosmological device of the Tianxia, issues traditional for early Confucianism of a pedagogical and educational nature, moral self-improvement. The diverse theme of "Kong-zi jia yu" is a valuable source that reveals the essence of the philosophy of early Confucianism. Individual fragments of "Kong-zi jia yu" coincide with the classic Confucian monuments "Shang shu," "Lun yu," "Xiao jing," etc. Although "Kong-zi jia yu" for a number of reasons, is not considered a classic text of Confucianism, but it carries an enduring philosophical value. The study of "Kong-zi jia yu" seems to the author of this work to be an urgent scientific task, the solution of which can expand the arsenal of world philosophical knowledge, as well as contribute to the dialogue of the philosophical cultures of the East and West. (shrink)